141. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
142. Formal modeling and analysis of timed systems :
پدیدآورنده : Joël Ouaknine, Frits W. Vaandrager (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2009eb
143. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
144. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
145. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
146. Formal modeling and analysis of timed systems
پدیدآورنده : Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb
147. Formal modeling and analysis of timed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
148. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
پدیدآورنده : Kim G. Larsen, Peter Niebert )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
رده :
QA
76
.
L28
Vol
.
2791
149. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
پدیدآورنده : Yassine Lakhnech, Sergio Yovine )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
3253
150. Foundations of computational mathematics
پدیدآورنده : / edited by Ronald A. DeVore, Arieh Iserles, Endre Suli
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Numerical analysis --Congresses.
رده :
QA297
.
F6347
2001
151. Fracture of Composite Materials :
پدیدآورنده : edited by G.C. Sih, V.P. Tamuzs.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Composite materials -- Congresses.,Mechanics.,Physics.
رده :
TA418
.
9
.
C6
E358
1982
152. From Animals to Animats 9 :
پدیدآورنده : Stefano Nolfi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Animal behavior -- Simulation methods -- Congresses.,Animals -- Adaptation -- Simulation methods -- Congresses.,Robotics -- Congresses.
رده :
QL751
.
65
.
S55
S744
2007
153. From animals to animats 12
پدیدآورنده : Tom Ziemke, Christian Balkenius, John Hallam (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Adaptive computing systems, Congresses,Animal behavior-- Simulation methods, Congresses,Animals-- Adaptation-- Simulation methods, Congresses,Computer vision, Congresses,Robotics, Congresses,Robots, Congresses
رده :
QL751
.
65
.
S55
I58
2012eb
154. From animals to animats 9 : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006 : proceedings
پدیدآورنده : Stefano Nolfi...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Simulation methods -- Congresses ، Animal behavior,Simulation methods -- Congresses ، Animals -- Adaptation,Congresses ، Robotics,Biological applications -- Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
4095
155. Frontier computing :
پدیدآورنده : editors, Jason C. Hung, Neil Y. Yen, Kuan-Ching Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
156. Functional imaging and modeling of the heart :
پدیدآورنده : Yves Coudière, Valéry Ozenne, Edward Vigmond, Nejib Zemzemi (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Heart-- Computer simulation, Congresses.,Heart-- Imaging, Congresses.,Heart-- Imaging.
رده :
RC683
.
5
.
I42
F56
2019
157. Genetic and evolutionary computing :
پدیدآورنده : Jeng-Shyang Pan, Jerry Chun-Wei Lin, Bixia Sui, Shih-Pang Tseng, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Genetic algorithms, Congresses.,Genetic programming (Computer science), Congresses.,Evolutionary computation.,Genetic algorithms.,Genetic programming (Computer science)
رده :
QA76
.
623
.
I58
2018
158. Geostatistical simulations: Proceedings of the Geostatistical workshop, Fontainebleu, France, 1993
پدیدآورنده : / edited by M. Armstrong and P.A. Dowd
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geology- Computer simulation- Congresses,Petroleum- Geology- Computer simulation- Congresses,Geology- Statistical methods- Data processing- Congresses
رده :
QE48
.
8
.
G477
1993
159. Geostatistical simulations : proceedings of the Geostatistical Simulation Workshop, Fontainebleau, France, 27-28 May 1993
پدیدآورنده : edited by M. Armstrong and P.A. Dowd
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Geology - Computer simulation - Congresses , Petroleum - Geology - Computer simulation - Congresses , Geology - Statistical methods - Data processing - Congresses , Petroleum - Geology - Statistical methods - Data processing - Congresses
رده :
QE
48
.
8
.
G47
1993
160. Geostatistical simulations : proceedings of the Geostatistical Simulation Workshop, Fontainebleau, France, 27-28 May 1993
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Geology-- Computer simulation-- Congresses,، Petroleum-- Geology-- Computer simulation-- Congresses,، Geology-- Statistical methods-- Data processing-- Congresses,، Petroleum-- Geology-- Statistical methods-- Data processing-- Congresses
رده :
QE
48
.
8
.
G47
1993